A Finitely Axiomatized Formalization of Predicate Calculus with Equality Note: This is a preprint of Megill, “A Finitely Axiomatized Formalization of Predicate Calculus with Equality,” Notre Dame Journal of Formal Lo

Source URL: de.metamath.org

• Propositional calculus
• Predicate logic
• Automated theorem proving
• Model theory
• First-order logic
• Metamath
• Function
• Substitution
• Axiom
• Logic
• Mathematical logic
• Mathematics

Update date: October[removed]Journals in Translation Algebra Logic Algebra and Logic. Springer, New York. (Translation of Algebra Logika) ISSN[removed].

Source URL: klymene.mpim-bonn.mpg.de

John Benjamins Publishing Company This is a contribution from Belgian Journal of Linguistics 25 © 2011. John Benjamins Publishing Company This electronic file may not be altered in any way. The author(s) of this articl

Source URL: www.jakubszymanik.com

• Science
• Semantics
• Philosophical logic
• Working memory
• FO
• Sentence
• Mathematical logic
• Short-term memory
• Reading span task
• Logic
• Predicate logic
• Quantification

Truth, Omniscience, and Cantorian Arguments: An Exchange Author(s): Alvin Plantinga and Patrick Grim Source: Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition, Vol. 71, No. 3 (Sep.,

Source URL: www.pgrim.org

• Mathematical logic
• Veracity
• Philosophy of language
• Philosophical logic
• Theories of truth
• Alvin Plantinga
• Omniscience
• Epistemology
• Proposition
• Philosophy
• Logic
• Mathematics

EJTP 4, No. 16(III[removed]–14 Electronic Journal of Theoretical Physics Multiboundary Algebra as Pregeometry Ben Goertzel∗

Source URL: www.ejtp.com

• Algebraic structures
• Mathematical structures
• Linear algebra
• Group theory
• Boolean algebra
• Combinatory logic
• Vector space
• Outline of algebraic structures
• Clifford algebra
• Algebra
• Mathematics
• Abstract algebra

Kernel Contraction Author(s): Sven Ove Hansson Reviewed work(s): Source: The Journal of Symbolic Logic, Vol. 59, No. 3 (Sep., 1994), pp[removed]Published by: Association for Symbolic Logic Stable URL: http://www.jstor.o

Source URL: all4da.googlecode.com

• Mathematics
• Contraction
• Edge contraction
• Sheaf
• Poisson bracket
• Tensor contraction
• Operator theory
• Mathematical analysis
• Theoretical physics

The Ersatz Pluriverse∗ Theodore Sider Journal of Philosophy[removed]): 279–315 While many are impressed with the utility of possible worlds in linguistics

Source URL: tedsider.org

• Philosophy
• Possibility
• Analytic philosophers
• Metaphysicians
• Logicians
• On the Plurality of Worlds
• Possible world
• Counterpart theory
• Modal realism
• Logic
• Mathematical logic
• Modal logic

A Finitely Axiomatized Formalization of Predicate Calculus with Equality Note: This is a preprint of Megill, “A Finitely Axiomatized Formalization of Predicate Calculus with Equality,” Notre Dame Journal of Formal Lo

Source URL: us.metamath.org

• Propositional calculus
• Predicate logic
• Automated theorem proving
• Model theory
• First-order logic
• Metamath
• Function
• Substitution
• Axiom
• Logic
• Mathematical logic
• Mathematics

Journal of Universal Computer Science, vol. 7, no[removed]), [removed]submitted: 1/9/00, accepted: [removed], appeared: [removed]  Springer Pub. Co. Modeling Sequences within the RelView System Rudolf Berghammer

Source URL: www.jucs.org

• Mathematical logic
• Abstract algebra
• Model theory
• Algebraic structures
• Finitary relation
• Equivalence relation
• Vector space
• Relational algebra
• FO
• Mathematics
• Algebra
• Mathematical structures

DISCUSSION NOTE THE UNUSUAL LOGIC OF HURKA’S RECURSIVE ACCOUNT BY AVRAM HILLER JOURNAL OF ETHICS & SOCIAL PHILOSOPHY

Source URL: www.jesp.org

• Social philosophy
• Mathematical logic
• Pleasure
• Definition
• Recursive definition
• Theoretical computer science
• Good and evil
• Pain
• Evil
• Mind
• Ethics
• Philosophy of mind